package il.ac.technion.cs236700.utils.DBC;

/**
 * An interface representing a class with an invariant.
 */
public interface Checkable {
	/**
	 * This function represents the invariant of the implementing class. It
	 * returns nothing. If the invariant is violated, a runtime exeption aborts
	 * execution.
	 * 
	 */
	public void invariant();
}
